Boek - Vaderlandsche historie, vervattende de geschiedenissen der nu Vereenigde Nederlanden, inzonderheid die van Holland, van de vroegste tyden af : dertiende deel, beginnende in 't jaar 1660, en eindigende met de aanstelling van Willem den derden, Prinsen van Oranje, tot kapitein-generaal, in sprokkelmaand des jaars 1672